Cellular, or mobile phones are great: they allow people to communicate over long distances whenever and wherever they are, and instantaneously at that when the one called is wearing one too. Having said that, though, it must immediately be added that they, also, have a complex disadvantage, and it is one we are hard pushed to understand. In fact, due to its complexity people simply tend to neglect it, even though everyone in his right mind has had experience with it. (...) Now Walter Benjamin defined aura as “a distance however close it may be”.1) This has standardly been interpreted as a characterisation of an experience of presence, also by Benjamin. This aura supposedly suffered from the rise of photography. Aura can, also, be understood as inertia, the absence of something present. And whether aura is gone or widespread I gladly leave to more speculative-minded thinkers. I submit that we experience a person’s “aura”—her distance however close she may be—when perception tells us the person is present yet our mind realises that she isn’t. I am referring here to the observation had of another person engaged in a cell phone conversation. The inertia of the cell phone caller consists in her incapacity to address those who observe her. I think there is an immoral streak to her selfappointed moral autonomy. In a previous edition of this Dutch-Russian exchange on inertia I argued that our trafficking with facial expressions forms the model with which we’d best understand the workings of art—facial expression is the anthropological foundation of art. My discussion, today, of the cell phone conversation is meant to add to that previous suggestion. (shrink)

This anthology is divided into two parts: religious laughter and laughing at religion. Caricature of religion through cartoons and the consequent politics is also examined through an analysis of Greek history. That guilelessness and simplicity are core spiritual values and spirituality has a close connection with humour is well established through this work.

If Jewish Bolsheviks could put an end to the imperial rule of the Romanovs, could they pose a threat to the vision of a Third Reigh? A question the German National Socialists are likely to have asked themselves before and on the eve of plotting the rise of the Nazi regime. After all, Europe had had a long-standing relationship with blaming the Jews for the world’s miseries. A relationship Germany was ready to refuel, as indicated by German Field Marshal (...) class='Hi'>Walter von Reichenau, when he stated that ‘the most essential aim of war against the Jewish-bolshevistic system is a complete destruction of their means of power and the elimination of Asiatic influence from the European culture.’ But the German fears of Jewish interference with their great scheme for Europe’s future, must surely have been inspired by more than just the age-old conspiratorial allegation that Jews were the main forces behind world politics. As such, this essay will seek to inspect the apparent rise of antisemitic fears at the time, and put a case forward to show how religion played into all this. (shrink)

An antinaturalist defense of causality of mental states. The argument is based on the properties of causal models in cognitive research. Bibliografia prac przywołanych w tekście -/- Damasio A., 1994/1999, Błąd Kartezjusza. Emocje, rozum i ludzki mózg, tłum. M. Karpiński, Poznań: Rebis. Davidson D., 1963/2001, „Actions, reasons, and causes”, w: (Davidson 2001), s. 3-19. Davidson D., 1967/2001, „Causal relations”, w: (Davidson 2001), s. 149-62. Davidson D., 1970/2001, „Mental events”, w: (Davidson 2001), s. 207-25. Davidson D., 1976/2001, „Hempel on explaining action”, (...) w: (Davidson 2001), s. 261-75. Davidson D., 2001, Essays on actions and events, Oxford: Clarendon. Farmer A., McGuffin P., Williams J., 2002, Measuring psychopathology, Oxford: Oxford University Press. Freedman D. A., Petitti D. B., 2002, „Salt, blood pressure, and public policy”, International Journal of Epidemiology, t. 31, s. 319–320. Greyson B., 2000, „Near-death experiences”, w: Varieties of anomalous experience. Examining the scientific evidence, red. E. Cardeña, S. J. Lynn i S. Krippner, Washington, DC: American Psychological Association, s. 315-52. Judycki S., 1995, Umysł i synteza, Lublin: RW KUL. Judycki S., 2000, „Transkauzalność a determinizm”, Kognitywistyka i media w edukacji, t. 3, s. 73-86. Kawalec P. 2005, „Understanding science of the new millennium”, http://philsci archive.pitt.edu/archive/00002558/ Kawalec P., 2006, Jak odkryć przyczynę? Studium z ogólnej metodologii i filozofii nauki, Lublin 2006, w przygotowaniu. Kim J., 1998/2002, Umysł w świecie fizycznym, tłum. R. Poczobut, Warszawa: IFiS PAN. Lauritzen S., 1996, Graphical models, Oxford: Clarendon. Menzies P., 2003, „The causal efficacy of mental states”, w: Physicalism and mental causation. The metaphysics of mind and action, red. S. Walter i H.-D. Heckmann, w druku. Pearl J., 2000, Causality. Models, reasoning, and inference, Cambridge: Cambridge University Press. Piłat R., 1999, Umysł jako model świata, Warszawa: IFiS PAN. Rosenbaum P., 2002, Observational studies, Nowy Jork: Springer. Sabom M., 1998, Life and death. One doctors’s fascinating account of near-death experiences, Grand Rapids: Zondervan. Spirtes P., Glymour C., Scheines R., 2000, Causation, prediction, and search, Cambridge, MA.: MIT. van Fraassen B., 1980, The scientific image, Oxford: Clarendon. van Fraassen B., 2002, The empirical stance, New Haven: Yale University Press. Woodward J., 2003, Making things happen: a theory of causal explanation, Nowy Jork: Oxford University Press. Żegleń U., 2003, Filozofia umysłu, Toruń: A. Marszałek. (shrink)

Here we will argue that Henry Sidgwick’s Dualism of Practical Reason, the paired imperative of being egoistic and/or utilitarian, follows from the epistemic barriers that arise when giving credence to skepticism about the external world, and particularly skepticism about other minds, and skepticism about reincarnation. We will argue that this is true whether we begin with the premises of universal utilitarianism or egoism.

In dit artikel wordt de dominante metafysische oriëntatie in de hedendaagse meta-ethiek kritisch onder de loep genomen. Het hedendaagse debat, dat zich voornamelijk richt op de vraag hoe moraliteit metafysisch gezien 'in de werkelijkheid past', wordt gekenmerkt door een reeks complexe en soms esoterische discussies die, zo wordt betoogd, weinig bijdragen aan ons filosofische begrip van ethiek. Deze focus op metafysische grondslagen heeft geleid tot een tunnelvisie, waarin het debat gevangen zit tussen steeds ingewikkeldere vormen van non-cognitivisme, herconceptualisaties van 'objectiviteit' (...) en metafysische acrobatiek. Als alternatief wordt voorgesteld de aandacht in de meta-ethiek te verleggen naar het domein van praktisch redeneren. Door ons te concentreren op de patronen van geldige praktische argumentatie en het soort overwegingen dat mensen daadwerkelijk overtuigt, kunnen we wellicht een beter inzicht krijgen in de aard van ethische normativiteit en de rol ervan in ons leven. Het artikel pleit voor een meer pragmatische en minder metafysisch beladen benadering van de meta-ethiek, die zich richt op de daadwerkelijke praktijken van moreel redeneren en argumenteren. (shrink)

DRAFT In what follows, we will attempt to point out two technical loopholes in the proof of the “Impossibility Theorem for Welfarist Axiologies” as proposed by Gustaf Arrhenius (Arrhenius, 2000). The two problems arise from different principles, one from an application of the “Addition Principle” and one from an application of the “Dominance Principle” after a counterintuitive combination of the “No Repugnant/Anti-Egalitarian Conclusion” criteria, the former non-fatal and latter fatal. We will show that these problems arise via two methodologies. 1) (...) We appeal to intuitions with counterexample cases. 2) We replace ordinal priority-ordering with cardinal utility functions (von Neumann & Morgenstern, 1944). If correct, our critique shows that at least one avenue is available to welfarist axiology, which reopens the possibilities of the search for a “Theory X” (Parfit, 1984). DRAFT. (shrink)

This book attempts to advance Donald Griffin's vision of the "final, crowning chapter of the Darwinian revolution" by developing a philosophy for the science of animal consciousness. It advocates a Darwinian bottom-up approach that treats consciousness as a complex, evolved, and multidimensional phenomenon in nature rather than a mysterious all-or-nothing property immune to the tools of science and restricted to a single species. -/- The so-called emergence of a science of consciousness in the 1990s has at best been a science (...) of human consciousness. This book aims to advance a true Darwinian science of consciousness in which its evolutionary origin, function, and phylogenetic diversity are moved from the field’s periphery to its very centre, thus enabling us to integrate consciousness into an evolutionary view of life. Accordingly, this book has two objectives: (i) to argue for the need and possibility of an evolutionary bottom-up approach that addresses the problem of consciousness in terms of the evolutionary origins of a new ecological lifestyle that made consciousness worth having and (ii) to articulate a thesis and beginnings of a theory of the place of consciousness as a complex evolved phenomenon in nature that can help us to answer the question of what it is like to be a bat, an octopus, or a crow. -/- A Philosophy for the Science of Animal Consciousness will appeal to researchers and advanced students interested in advancing our understanding of animal minds as well as anyone with a keen interest in how we can develop a science of animal consciousness. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

Unlike any other field, the science of morality has drawn attention from an extraordinarily diverse set of disciplines. An interdisciplinary research program has formed in which economists, biologists, neuroscientists, psychologists, and even philosophers have been eager to provide answers to puzzling questions raised by the existence of human morality. Models and simulations, for a variety of reasons, have played various important roles in this endeavor. Their use, however, has sometimes been deemed as useless, trivial and inadequate. The role of models (...) in the science of morality has been vastly underappreciated. This omission shall be remedied here, offering a much more positive picture on the contributions modelers made to our understanding of morality. (shrink)

Michael Dummett argues, against Saul Kripke, that there could have been unicorns. He then claims that this possibility shows that the logic of metaphysical modality is not S5, and, in particular, that the B axiom is false. Dummett’s argument against B, however, is invalid. I show that although there are number of ways to repair Dummett’s argument against B, each requires a controversial metaphysical or semantic commitment, and that, regardless of this, the case against B is undermotivated. Dummett’s case is (...) still of interest, however, as if his assumptions are correct, S5 has to go, with the natural culprit being S4. (shrink)

Trước những lo ngại về khí hậu toàn cầu ngày càng gia tăng, các quốc gia trên thế giới đã ký kết thỏa thuận toàn cầu nhằm thể hiện sự cam kết mạnh mẽ để chung tay tìm kiếm các giải pháp sáng tạo để giảm thiểu phát thải khí nhà kính và tác động của nó đối với môi trường. Việt Nam là một trong những thành viên tích cực tham gia và có trách nhiệm, nhưng đồng thời cũng (...) là một nước bị ảnh hưởng nặng nề nhất của biến đổi khí hậu. Nhận thấy sự cần thiết phải giải quyết vấn đề biến đổi khí hậu, Việt Nam đang triển khai nghiên cứu việc thành lập thị trường các-bon trong nước, trong đó việc xây dựng và vận hành một hệ thống lưu ký các-bon được coi là một trụ cột quan trọng, trên cơ sở học hỏi kinh nghiệm từ các mô hình trên thế giới. Bài viết này đi sâu vào việc phân tích, đánh giá điều kiện, bối cảnh của Việt Nam và rút ra bài học kinh nghiệm từ các hệ thống lưu ký trên thế giới để đề xuất các giải pháp xây dựng một hệ thống lưu ký các- bon hiệu quả cho Việt Nam. (shrink)

This goal of this thesis in the philosophy of nature is to move us closer towards a true biological science of consciousness in which the evolutionary origin, function, and phylogenetic diversity of consciousness are moved from the field’s periphery of investigations to its very centre. Rather than applying theories of consciousness built top-down on the human case to other animals, I argue that we require an evolutionary bottomup approach that begins with the very origins of subjective experience in order to (...) make sense of the place of mind in nature. To achieve this goal, I introduce and defend the pathological complexity thesis as both a framework for the scientific investigation of consciousness and as a lifemind continuity thesis about the origins and function of consciousness. (shrink)

Nghiên cứu xác định các nhân tố ảnh hưởng đến Vận dụng kế toán môi trường của các doanh nghiệp sản xuất tỉnh Hưng Yên. Kết quả nghiên cứu xác định có 5 nhân tố ảnh hưởng, bao gồm: Lĩnh vực hoạt động sản xuất của doanh nghiệp; Nguồn lực tài chính; Nhận thức của chủ thể doanh nghiệp và Áp lực của các bên liên quan; Quy mô doanh nghiệp ảnh hưởng đến việc vận dụng kế toán môi trường. (...) Trong đó, nhân tố Lĩnh vực hoạt động sản xuất tác động mạnh nhất đến việc Vận dụng kế toán môi trường trong các doanh nghiệp sản xuất tại tỉnh Hưng Yên. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

Are counterfactuals with true antecedents and consequents automatically true? That is, is Conjunction Conditionalization: if (X & Y), then (X > Y) valid? Stalnaker and Lewis think so, but many others disagree. We note here that the extant arguments for Conjunction Conditionalization are unpersuasive, before presenting a family of more compelling arguments. These arguments rely on some standard theorems of the logic of counterfactuals as well as a plausible and popular semantic claim about certain semifactuals. Denying Conjunction Conditionalization, then, requires (...) rejecting other aspects of the standard logic of counterfactuals, or else our intuitive picture of semifactuals. (shrink)

Are living organisms--as Descartes argued--just machines? Or is the nature of life such that it can never be fully explained by mechanistic models? In this thought-provoking and controversial book, eminent geophysicist Walter M. Elsasser argues that the behavior of living organisms cannot be reduced to physico-chemical causality. Suggesting that molecular biology today is at the same point as Newtonian physics on the eve of the quantum revolution, Elsasser lays the foundation for a theoretical biology that points the way toward (...) a natural philosophy of organic life. Explicitly repudiating "vitalism" (the notion that the laws of nature need to be modified when applied to living organisms), Elsasser argues instead that the structural complexity of even a single living cell is "transcomputational"--that is, beyond the power of any imaginable system to compute. Beginning from this insight, Elsasser leads the reader through a step-by-step process that ultimately arrives at the conclusion that living and non-living matter are separated by "a no-man's land of irrationality." Trained in Germany as a physicist, Elsasser first pondered the implications of quantum mechanics for biology as early as 1951. The more closely he studied the inherent complexity of life, the more skeptical he became of the reductionist view of organisms as tiny machines. "An organism," he concluded, "is a source of causal chains which cannot be traced beyond a terminal point because they are lost in the unfathomable complexity of the organism." Like the physicist who works within the bounds of an unfathomable universe, Elsasser argues, the biologist must seek answers within a system that is no less unfathomable. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

Assertion plays a crucial dual role in Frege's conception of logic, a formal and a transcendental one. A recurrent complaint is that Frege's inclusion of the judgement-stroke in the Begriffsschrift is either in tension with his anti-psychologism or wholly superfluous. Assertion, the objection goes, is at best of merely psychological significance. In this paper, I defend Frege against the objection by giving reasons for recognising the central logical significance of assertion in both its formal and its transcendental role.

According to the phenomenal intentionality research program, a state’s intentional content is fixed by its phenomenal character. Defenders of this view have little to say about just how this grounding is accomplished. I argue that without a robust account of representation, the research program promises too little. Unfortunately, most of the well-developed accounts of representation – asymmetric dependence, teleosemantics, and the like – ground representation in external relations such as causation. Such accounts are inconsistent with the core of the phenomenal (...) intentionality program. I argue that, however counter-intuitive it may seem, the best prospect for explaining how phenomenal character represents appeals to resemblance. (shrink)

Bas van Fraassen’s Constructive Empiricism (CE) has been much discussed. There is, however, a curious feature of van Fraassen’s writings that has been overlooked up until now. This is that he sometimes capitalises certain key terms, notably “Induction”. This is done to differentiate a pragmatic small ‘i’ induction (which has epistemic import) from a rule-bound capital ‘I’ induction (which does not). In this paper, I argue that van Fraassen’s small letter/capital letter distinction reveals an underlying dualism, one that is reminiscent (...) of the notoriously problematic semantic dualism in Logical Positivism (between a theoretical language and an observation language). Despite partly developing CE to overcome Logical Positivism’s kind of dualism, van Fraassen seems to have tacitly endorsed it anyway. If so, then CE requires revision. It is, however, not clear how to conduct such a revision. It is not clear what the way forward should be once CE is understood as innately dualistic. (shrink)

Sometimes people posit "beliefs" to explain mundane instrumental actions (e.g., Neil believes the switch is connected to the light, so he flipped the switch to illuminate the room). Sometimes people posit "beliefs" to explain group affiliation or identity (e.g., in order to belong to the Christian Reformed Church Neil must believe that God is triune). If we set aside the commonality of the word "belief," we can pose a crucial question: Is the cognitive attitude typically involved in the first "light (...) switch" sort of case the same as the cognitive attitude typically involved in the second "Trinity" sort of case? Or: Is mundanely believing the same cognitive relation as groupishly believing? In this essay, I argue that the answer is no. Mundane Beliefs play their instrumental roles well if they are true, and their manner of processing is accordingly sensitive to evidence. Groupish Beliefs play their identity-constituting roles well if they are distinctive, and their manners of processing accordingly allow for and often support distortions of evidence and truth. The manners of processing are thus so different that--despite the common word "belief"--philosophy of mind and epistemology would do well to recognize distinct cognitive attitudes. (shrink)

Als Plato de hedendaagse academie zou aanschouwen, zou hij niet alleen stomverbaasd zijn over de massificatie en de byzantijnse bureaucratie, maar gezien het ethische doel van de universiteit zou hij ook reden hebben om bezorgd te zijn.

The conception of a ‘law of nature’ is a human product. It was created to play a role in natural philosophy, in the Cartesian tradition. In light of this, philosophers and scientists must sort out what they mean by a law of nature before evaluating rival theories and approaches. If one’s conception of the laws of nature is yoked to metaphysical notions of truth and explanation, that connection must be made explicit and defended. If, on the other hand, one’s aim (...) is to disentangle laws from truth or from explanation, that must be stated and defended as well. If philosophers do not make such assumptions, intuitions, and methodological commitments clear, then it will be impossible to identify the source of disagreement in debates about the laws of nature. Are the conflicts rooted in disagreement about the conclusions reached, or do the background commitments of the combatants block any resolution to the dispute in principle or in practice? (shrink)

The debate over Hypothetical Syllogism is locked in stalemate. Although putative natural language counterexamples to Hypothetical Syllogism abound, many philosophers defend Hypothetical Syllogism, arguing that the alleged counterexamples involve an illicit shift in context. The proper lesson to draw from the putative counterexamples, they argue, is that natural language conditionals are context-sensitive conditionals which obey Hypothetical Syllogism. In order to make progress on the issue, I consider and improve upon Morreau’s proof of the invalidity of Hypothetical Syllogism. The improved proof (...) relies upon the semantic claim that conditionals with antecedents irrelevant to the obtaining of an already true consequent are themselves true. Moreover, this semantic insight allows us to provide compelling counterexamples to Hypothetical Syllogism that are resistant to the usual contextualist response. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

Iconic photographs are visual arguments depicting an, often dramatic, particular situation showing victims of disasters. Spectators watching the photo of the particular situation, empathise with it, and project the feelings evoked onto the events that form the context for the scene in the picture. This mobilises them into political action. In the process, however, the depicted personal misery is perused to exemplify the larger events. The tragedy of iconic photographs is analysed not as the misery experienced by the depicted persons, (...) but as the breach of their right to shame which is required for the photo to acquire iconicity. Examples are addressed, as well as the contrast classes of the self-portrait and Byzantine icons. (shrink)

On a currently popular reading of Locke, an idea represents its cause, or what God intended to be its cause. Against Martha Bolton and my former self (among others), I argue that Locke cannot hold such a view, since it sins against his epistemology and theory of abstraction. I argue that Locke is committed to a resemblance theory of representation, with the result that ideas of secondary qualities are not representations.

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

Central to many discussions of motivated reasoning is the idea that it runs afoul of epistemic normativity. Reasoning differently about information supporting our prior beliefs versus information contradicting those beliefs, is frequently equated with motivated irrationality. By analyzing the normative status of belief polarization, selective scrutiny, biased assimilation and the myside bias, I show this inference is often not adequately supported. Contrary to what’s often assumed, these phenomena need not indicate motivated irrationality, even though they are instances of belief-consistent information (...) processing. Second, I engage with arguments purporting to show that belief-consistent information processing does not indicate motivated irrationality because of its mere differential treatment of confirming and non-confirming evidence, but rather because it reveals the undermining presence of an irrelevant influence, such as a desire or partisan identity-driven cognition. While linking belief-consistent reasoning to a deeper source of directional motivation to make good on the claim that it indicates motivated irrationality is indeed what’s needed, two prominent such arguments fail. The non-normativity of many reasoning processes often taken to indicate motivated irrationality is not in fact well established. (shrink)

John Locke’s claims about relations (such as cause and effect) and mixed modes (such as beauty and murder) have been controversial since the publication of the Essay. His earliest critics read him as a thoroughgoing anti-realist who denies that such things exist. More charitable readers have sought to read Locke’s claims away. Against both, I argue that Locke is making ontological claims, but that his views do not have the absurd consequences his defenders fear. By examining Locke’s texts, as well (...) as the intellectual context in which they were written, I show that Locke’s position is at once radical and thoroughly traditional. (shrink)

Bernard Williams argued that historical and philosophical inquiry were importantly linked in a number of ways. This introductory chapter distinguishes four different connections he identified between philosophy and history. (1) He believed that philosophy could not ignore its own history in the way that science can. (2) He thought that when engaging with philosophy’s history primarily to produce history, one still had to draw on philosophy. (3) Even doing history of philosophy philosophically, i.e. primarily to produce philosophy, required a keen (...) sense of how historically distant from us past philosophers were, on his view, because the point of reading them was to confront something different from the present. (4) He held that systematic philosophy itself needed to be done historically, engaging not necessarily with its own history, but with that of the concepts it sought to understand. The chapter closes with an overview of the volume’s structure and content. (shrink)

It is customary to think that Objective List (“OL), Desire-Satisfaction (“D-S”) and Hedonistic (“HED”) theories of prudential value pretty much cover the waterfront, and that those of the three that are “subjective” are naturalistic (in the sense attacked by Moore, Ross and Ewing), while those that are “objective” must be Platonic, Aristotelian or commit the naturalist fallacy. I here argue for a theory that is both naturalistic (because voluntaristic) and objective but neither Platonic, Aristotelian, nor (I hope) fallacious. In addition, (...) this proposal, called “CHOICE,” is an example of neither an OL, D-S, nor HED theory. It is a theory according to which uncoerced choosings create objective values that we (even everyone) may be wrong about, because valuations are conative rather than epistemic activities. On this view, intrinsic prudential goods necessarily involve likely (pursuant to lawlike regularities) net increases in successful free choosings . (shrink)

Philosophers of the modern period are often presented as having made an elementary error: that of confounding the attitude one adopts toward a proposition with its content. By examining the works of Locke and the Port-Royalians, I show that this accusation is ill-founded and that Locke, in particular, has the resources to construct a theory of propositional attitudes.

The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. (...) Some relations to other alternative. set-theoretical principles are also briefly discussed. (shrink)

I claim that Berkeley's main argument against abstraction comes into focus only when we see Descartes as one of its targets. Berkeley does not deploy Winkler's impossibility argument but instead argues that what is impossible is inconceivable. Since Descartes conceives of extension as a determinable, and since determinables cannot exist as such, he falls within the scope of Berkeley's argument.

In this article , I first engage in some conceptual clarification of what the words "imagine," "imagining," and "imagination" can mean. Each has a constructive sense, an attitudinal sense, and an imagistic sense. Keeping the senses straight in the course of cognitive theorizing is important for both psychology and philosophy. I then discuss the roles that perceptual memories, beliefs, and genre truth attitudes play in constructive imagination, or the capacity to generate novel representations that go well beyond what's prompted by (...) one's immediate environment. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

Hume's views on language have been widely misunderstood. Typical discussions cast Hume as either a linguistic idealist who holds that words refer to ideas or a proto-verificationist. I argue that both readings are wide of the mark and develop my own positive account. Humean signification emerges as a relation whereby a word can both indicate ideas in the mind of the speaker and cause us to have those ideas. If I am right, Hume offers a consistent view on meaning that (...) is neither linguistic idealism nor positivism but a genuine alternative to these, one that deserves to be taken seriously. (shrink)

Contemporary Humeans treat laws of nature as statements of exceptionless regularities that function as the axioms of the best deductive system. Such ‘Best System Accounts’ marry realism about laws with a denial of necessary connections among events. I argue that Hume’s predecessor, George Berkeley, offers a more sophisticated conception of laws, equally consistent with the absence of powers or necessary connections among events in the natural world. On this view, laws are not statements of regularities but the most general rules (...) God follows in producing the world. Pace most commentators, I argue that Berkeley’s view is neither instrumentalist nor reductionist. More important, the Berkeleyan Best System can solve some of the problems afflicting its Humean rivals, including the problems of theory choice and Nancy Cartwright’s ‘facticity’ dilemma. Some of these solutions are available in the contemporary context, without any appeal to God. Berkeley’s account deserves to be taken seriously in its own right. (shrink)

The popular Cartesian reading of George Berkeley's philosophy of mind mischaracterizes his views on the relations between substance and essence and between an idea and the act of thought in which it figures. I argue that Berkeley rejects Descartes's tripartite taxonomy of distinctions and makes use of a fourth kind of distinction. In addition to illuminating Berkeley's ontology of mind, this fourth distinction allows us to dissolve an important dilemma raised by Kenneth Winkler.

Since Boorse [Philos Sci 44(4):542–573, 1977] published his paper “Health as a theoretical concept” one of the most lively debates within philosophy of medicine has been on the question of whether health and disease are in some sense ‘objective’ and ‘value-free’ or ‘subjective’ and ‘value-laden’. Due to the apparent ‘failure’ of pure naturalist, constructivist, or normativist accounts, much in the recent literature has appealed to more conciliatory approaches or so-called ‘hybrid accounts’ of health and disease. A recent paper by Matthewson (...) and Griffiths [J Med Philos 42(4):447–466, 2017], however, may bear the seeds for the revival of purely naturalist approach to health and disease. In this paper, I defend their idea of Biological Normativity against recent criticism by Schwartz [J Med Philos Forum Bioethics Philos Med 42(4):485–502, 2017] and hope to help it flower into a revival of naturalist approaches in the philosophy of medicine. (shrink)

The debate on whether and why misinformation is bad primarily focuses on the spread of false beliefs as its main harm. From the assumption that misinformation primarily causes harm through the spread of false beliefs as a starting point, it has been contended that the problem of misinformation has been exaggerated. Its tendency to generate false beliefs appears to be limited. However, the near-exclusive focus on whether or not misinformation dupes people with false beliefs neglects other epistemic harms associated with (...) it. Specifically, I show that misinformation also causes trouble for the epistemic goods of truth attainment, intellectual autonomy and debate pluriformity. Moreover, for each of these goods, I argue that emphasizing error-avoidance exacerbates, rather than mitigates, the harms caused by misinformation. These oversights and dilemmas show that prioritizing error-avoidance in the fight against misinformation is not a neutral default policy or necessarily a net positive. A shift in focus away from the spread of false beliefs as the main harm of misinformation is needed to better understand and counter its negative effects. (shrink)

Imaginative representations are crucial to the generation of action--both pretense and plain action. But well-known theories of imagination on offer in the literature [1] fail to describe how perceptually-formatted imaginings (mental images) and motor imaginings function in the generation of action and [2] fail to recognize the important fact that spatially rich imagining can be integrated into one's perceptual manifold. In this paper, I present a theory of imagining that shows how spatially rich imagining functions in the generation of action. (...) I also describe the imaginative structures behind two under-explored forms of action: semi-pretense and pretense layering. In addition, I suggest that my theory of imagining meshes better than the competitors with current work in cognitive and affective neuroscience. (shrink)

This article introduces and defends the “pathological complexity thesis” as a hypothesis about the evolutionary origins of minimal consciousness, or sentience, that connects the study of animal consciousness closely with work in behavioral ecology and evolutionary biology. I argue that consciousness is an adaptive solution to a design problem that led to the extinction of complex multicellular animal life following the Avalon explosion and that was subsequently solved during the Cambrian explosion. This is the economic trade-off problem of having to (...) deal with a complex body with high degrees of freedom, what I call “pathological complexity.” By modeling the explosion of this computational complexity using the resources of state-based behavioral and life history theory we will be able to provide an evolutionary bottom-up framework to make sense of subjective experience and its function in nature by paying close attention to the ecological lifestyles of different animals. (shrink)

Do the hard problem of consciousness and the simulation argument potentially resolve each other? Here we will argue for four possible views: that consciousness may be possible only (a) outside of, (b) inside and/or outside of, (c) inside of, or (d) interfacing with simulations. The first two of these views have been developed at length by David Chalmers and are used as jumping off points to introduce and develop the latter two views here. If any one of these views could (...) be proven true, it would simultaneously both support a kind of account of properties of consciousness and also provide a kind of sign as to whether or not we are indeed living in the kind of immersive computer simulation that Nick Bostrom hypothesizes about. However, given that none of these views are proven true but all are plausible, these considerations should tend to neutralize our credence that we are either simulated or not simulated, by themselves giving us no sign one way or the other. (shrink)